Universal search
نویسندگان
چکیده
منابع مشابه
Towards Practical Universal Search
Universal Search is an asymptotically optimal way of searching the space of programs computing solution candidates for quickly verifiable problems. Despite the algorithm’s simplicity and remarkable theoretical properties, a potentially huge constant slowdown factor has kept it from being used much in practice. Here we greatly bias the search with domain-knowledge, essentially by assigning short...
متن کاملOn Universal Restart Strategies for Backtracking Search
Constraint satisfaction and propositional satisfiability problems are often solved using backtracking search. Previous studies have shown that a technique called randomization and restarts can dramatically improve the performance of a backtracking algorithm on some instances. We consider the commonly occurring scenario where one is to solve an ensemble of instances using a backtracking algorith...
متن کاملUniversal database search tool for proteomics
Mass spectrometry (MS) instruments and experimental protocols are rapidly advancing, but the software tools to analyse tandem mass spectra are lagging behind. We present a database search tool MS-GF+ that is sensitive (it identifies more peptides than most other database search tools) and universal (it works well for diverse types of spectra, different configurations of MS instruments and diffe...
متن کاملApplications of Levin’s Universal Optimal Search Algorithm
New applications of Levin’s Universal Optimal Search are presented in this paper . Using this method one finds solutions to a few chosen problems. Such solutions are characterized by possibility of the maximal generalization. In the deterministic version of the Universal Optimal Search algorithm one can always generate the best solution. It is shown that it is possible to find a solution by thi...
متن کاملImproved Local Search for Universal Facility Location
We consider the universal facility location problem in which the goal is to assign clients to facilities in order to minimize the sum of connection and facility costs. The connection cost is proportional to the distance each client has to travel to its assigned facility, whereas the cost of a facility is a non-decreasing function depending on the number of clients assigned to the facility. This...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Scholarpedia
سال: 2007
ISSN: 1941-6016
DOI: 10.4249/scholarpedia.2575